Project Euler/172
From charlesreid1
Contents
Problem Statement
Link: https://projecteuler.net/problem=172
How many 18-digit numbers n (without leading zeros) are there such that no digit occurs more than three times in n?
Solution: https://git.charlesreid1.com/cs/euler/src/master/scratch/Round7_170-180/Problem172.py
Explanation
A classic Project Euler problem: short, simple, and overwhelmingly complicated.
To nail this one, it's important to start simple - very simple. What I'll do is walk through the process of breaking this problem down to find and generalize the patterns needed to count permutations of digits.
First, in combinatorics problems it is important to think about what is changing, and how to count possible outcomes one piece at a time. Then the overall pieces can be combined to get the total count. In this case, we can think about a case for each digit: the case of 3 occurrences, the case of 2 occurrences, the case of 1 occurrence, and the case of 0 occurrences. Depending on the case, we limit our choices for later digits.
Let's start with a similar, but much simpler, problem: how do we construct a binary number with N digits and no more than m 0s and no more than m 1s?
In fact, let's make it even easier: how do we construct a 10 digit binary number with no more than 5 0's and no more than 5 1's?
The answer is, there is only ONE way to choose no more than 5 0's and no more than 5 1's to form a 10 digit number, and that's by having exactly 5 0's and 5 1's. Now that we know exactly how many of each digit we have, we can count the number of permutations of the number 0000011111 (the number of permutations).
Multiset Permutations
Note that multiset permutations are also discussed on the following pages:
- Project Euler/15
- Project Euler/502
- AOCP/Multisets
- https://charlesreid1.github.io/shortest-lattice-paths-and-multiset-permutations.html
If we are selecting from a group of things of type A, things of type B, and things of type C to form a total of things, this type of combinatorics problem is called a multiset permutation, and the total number of ways of arranging this set of 3 things is given by:
In fact, this generalizes, for classes of things we have a k-set permutation:
Solution
Back to the problem at hand: to count the number of ways of placing 5 0s and 5 1s to form a 10 digit number.
Once we place 5 digits into any of the 10 available slots, that fixes the locations of the remaining 5 digits. However, we still have to include two 5! values, to account for all possible duplicates if we exchanged all 5 of the 1s with one another, or all 5 of the 0s with one another. We use the expression:
Slightly More Complicated
To solve a slightly more complicated problem: suppose we have to assemble a 10-digit binary number from no more than 6 0s and no more than 6 1s?
Now we have 3 possible cases of numbers of 0s:
4 0s: 0000111111 - and its permutations
5 0s: 0000011111 - and its permutations
6 0s: 0000001111 - and its permutations
For each of these cases, we can think of it as the "bucket" of 0s containing 4 0s (5 and 6 0s, respectively) and the "bucket" of 1s containing 6 1s (5 and 4 1s, respectively). We still have a number of permutations that we can form using this given number of 0s and 1s, given by a multiset permutation expression.
For each case, we have a multiset permutation expression that tells us how many permutations we can form from the given number of 0s and 1s:
So we have three possible outcomes, and the total number of arrangements is the sum of these three cases:
Generalizing
We can generalize the process. Suppose we are forming a number of length from a number of digits/classes labeled from , and each digit/class can only appear a maximum of times.
The number of combinations that can be formed for a given is given by the multiset permutation expression above. So the total number of permutations that can be formed is a sum of these multiset permutation expressions, over each possible combination of digits/classes into a number of length .
In computer science terms, we can think of this as a nested for loop or dynamic program; in mathematical terms, we can think of a sequence of summations whose limits depend on the variables in the other summations.
where the limits of the summations are given by:
etc...
these all fix the number of zeros :
Notice that we ignore in the list of summations, because fixing the number of the first k-1 digits/classes (1s, 2s, 3s, ..., (k-1)s) will fix the number of 0s. Alternatively, we could count 0s and include a summation over , and eliminate the last summation over .
However, the multiset permutation expression includes ALL of the N's, from to , since the choice of each variable leads to additional permutations.
Also note that any algorithm implementing this procedure can save time by checking if, for the preceding combinations of N, we have already reached the maximum possible digits that can be selected. (Alternatively, we could write the upper limit of the summations as expressions depending on the prior values of , but we'll keep it simple.)
Ignoring Numbers Starting with 0
We have one last hurdle remaining, and that is how to ignore numbers that start with 0.
If we think about the problem as selecting the number of times each digit is repeated, then assembling that selection into all possible permutations, fixing the first digit as 0 is equivalent to removing one from the total length of the number that must be assembled, and removing one from the possible 0s that will go in the final number. Thus, if we are assembling an digit number from 0s, 1s, 2s, 3s, on up to 9s, then the total number of permutations is given by:
If we fix the first digit as 0, the remaining number of permutations is given by:
Therefore, the number of permutations, excluding those beginning with 0, is written:
Also, it is important to note that if to begin with, there are no possible ways of assembling numbers that begin with 0 because there are no 0s in the number, so the second term becomes 0:
Code
Known Solutions
Test cases with known solutions:
Test Case 1
Assemble two digits (0 and 1) into a 10-digit number, if each digit (0 and 1) can occur up to 5 times.
In this case, we know that 0 and 1 must occur exactly 5 times each. Now we are asking how we can assemble two sets of 5 things into 10 slots. This is a multiset permutation problem:
But wait! We also want to exclude numbers starting with 0, so we actually have:
which is half of 252 - exactly what we would expect.
Test Case 2
Assemble three digits (0, 1, 2) into a 6-digit number, if each digit (0, 1, 2) can occur up to 3 times. No number should start with 0.
In the prior case, we had one outcome of number of 0s and 1s, but in this case, we have a larger number of outcomes that we might see.
Evaluating the expressions for the limits of , we get:
where . Written out, this becomes the total number of possible 6-digit numbers,
minus the number of 6-digit numbers starting with 0:
Let a be the first expression and b be the second expression; then the total is:
In [40]: np.sum(a) Out[40]: 510.0 In [41]: np.sum(b) Out[41]: 170.0 In [42]: np.sum(a) - np.sum(b) Out[42]: 340.0
Recursion
The essence of this problem is a nested for loop - but because we have 9 digits to deal with, a 9-level nested for loop would be a big headache and would not generalize well.
Instead, we can write a recursive method that is called for each of the k (9) digits being selected to compose the final N- (18-) digit number.
The recursive method looks something like this:
global variable solution_count global variable m global variable N def recursive_method( n_tuple, n) { if(n==9) { compute multiset permutation combinations increment global solutions total need N, N0, N1, N2, etc. } else { assemble choices for N_i for(choice in choices) { set N_i to choice call recursive_method() unset N_i } } }
Pseudocode
Computing the number of possible integers n that meet the specified criteria thus boils down to a long sequence of nested summations (nested loops).
The problem is posed for . For this case, the final expression for the total number of permutations is:
where the limits of summation are given by:
etc...
and from these, is determined by:
Final Code
Final code: https://git.charlesreid1.com/cs/euler/src/master/scratch/Round7_170-180/Problem172.py
Final Answer
Setting the correct parameters should result in the following result:
Flags
Project Euler project euler notes
Round 1: Problems 1-20 Problem 1 · Problem 2 · Problem 3 · Problem 4 · Problem 5 · Problem 6 · Problem 7 · Problem 8 · Problem 9 · Problem 10 Problem 11 · Problem 12 · Problem 13 · Problem 14 · Problem 15 · Problem 16 · Problem 17 · Problem 18 · Problem 19 · Problem 20 Round 2: Problems 50-70 Problem 51 · Problem 52 · Problem 53 · Problem 54 · Problem 55 · Problem 56 · Problem 57 · Problem 58 · ... · Problem 61 · Problem 62 · Problem 63 · Problem 64 · Problem 65 · Problem 66 · Problem 67 Round 3: Problems 100-110 Problem 100 · Problem 101 · Problem 102 Round 4: Problems 500-510 Problem 500 · Problem 501 * · Problem 502 * Round 5: Problems 150-160 Round 6: Problems 250-260 Round 7: Problems 170-180
|